Fehlertoleranzanalyse des FlexRay Startup-Prozesses

Model Checking the FlexRay Startup Phase

This report describes a discrete-time model of the startup phase of a FlexRay network. The startup behaviour of this network is analysed in the presence of several faults. It is shown that in certain cases a faulty node can prevent the network from communicating altogether. One previously unknown scenario is uncovered.

Plaengine: Ein System zur Planung und Ausführung von Workflows

Flexibilität und eine gute Unterstützung von Geschäftsprozessen sind für die Wettbewerbsfähigkeit von Unternehmen auf heutigen Märkten wichtige Faktoren. Workflow-Management-Systeme unterstützen die Ausführung und Überwachung von Geschäftsprozessen. Dabei bleibt die Modellierung der Prozesse eine manuelle Aufgabe. Aktuelle Forschungsansätze untersuchen die Anwendung von Planungsalgorithmen zur ...

Business Intelligence Tools: Plädoyer für die Integration des Prozesses "Berichtsdiskussion"

Optimierung der Modellierungsergebnisse im Bereich interaktiver Unternehmensapplikationen durch sprachkritische Generierung des Domainenwissens

Aufbau einer optimierten Erfassungsmethode und des zugehörigen Prozesses zur Verbesserung der Ausgangsbasis zur Modellierung interaktiver wissensintensiver Unternehmensapplikation. Dabei erfolgt ein Überblick und Einordnung in den Gesamtrahmen eines prototypischen Projekts.

Wissensrepräsentation für das Katastrophenmanagement

Im Katastrophenmanagement ist es notwendig, Informationen aus Freitextmeldungen zeitnah in eine Lagekarte zu übertragen. Die angestrebte Automatisierung des Prozesses basiert auf verschiedenen Ergebnissen wehrtechnischer Forschung. Ausgehend von einem bestehenden Datenmodell wurde die Wissensbasis, entsprechend der domänenspezifischen Anforderungen des Katastrophenmanagements, angepasst und erw...